لطفا کمی صبر نمایید ...
ورود
Advanced Search
Thesis
مقالات فارسی
ISI
کنفرانسها
ژورنالها
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Login / Register
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Thesis
Dark Mode
استعلام پایان نامه
جستجوی مقالات داخلی
Catehory
Conference Papers
Journal Papers
Books
Plans
Research documents
Rports
Result Type:
Full Text
Has Word File
Search regardless of the position of the words
Limit article publication year to:
All years
Specific years:
Search
Show
All Information
Only Paper Title
Item Per Page
10
20
Sort By
Paper title
Year
Indexing
ABS
DESC
فیلتر نتایج
Amin farahbakhsh touli
Eslam Nazemi
Hassan Haghighi
نتایج 1 تا 10 از مجموع 12
1
2
Conference Paper
ارائه یک مدل صوری برای سازماندهی خود تطبیق عامل ها در راستای دستیابی به خصیصه های خود تطبیقی
Authors:
علی فراهانی
،
کمال الدین یعقوبی رفیع
،
اسلام ناظمی
Year 1398
Publish place:
National Informatics Conference of Iran
Pages:
11
| Language: Persian
View And Download
Conference Paper
توصیف رسمی وب سایت مرامیسوار با استفاده از زبان Z
Authors:
سودابه محمدی
،
سامان جمشیدی
،
سیدمحمد مولانا
Year 1398
Publish place:
International Conference on Information Technology, Computer and Telecommunications
Pages:
14
| Language: Persian
View And Download
Conference Paper
ارائه روشی برای توصیف و درستی یابی پایگاه داده ها با استفاده از Object-Z
Authors:
سیده زهرا سجادی
،
حسن حقیقی
Year 1394
Publish place:
The Seventh International Conference on Information and Knowledge Technology
Pages:
6
| Language: Persian
View And Download
Conference Paper
ارائه روشی برای صحت سنجی توصیفهای z ازسیستم های همروندبادرنظرگرفتن اعمال غیرقطعی
Authors:
زینب مجدی
،
حسن حقیقی
Year 1392
Publish place:
First National Conference on Advances in computer science and information retrieval approaches
Pages:
9
| Language: Persian
View And Download
Conference Paper
ارائه یک مدلسازی صوری ازمساله بن بست درسیستم های هم روند
Authors:
سیده سارا شریفی راد
،
سیده مریم شریفی راد
Year 1391
Publish place:
2nd Lahijan National Conference on Software Engeering
Pages:
8
| Language: Persian
View And Download
Conference Paper
راهبرد جدید مهندسی معکوس فرآیند کسب و کار از کد BPEL به توصیف رسمی
Authors:
عارف یلقی
Year 1390
Publish place:
2nd National conference on Soft Computing and Information Technology (NCSCIT2012)
Pages:
6
| Language: Persian
View And Download
Conference Paper
کاربرد روشهای صوری درطراحی سیستمهای عامل و توصیف صوری یک سیستم زمان بند
Authors:
امین فرحبخش طولی
،
جواد اسدی
Year 1390
Publish place:
14th Iranian Student Conference on Electrical Engineering
Pages:
13
| Language: Persian
View And Download
Conference Paper
روشهای صوری راهی فراروی مهندسی نرم افزار
Authors:
جواد اسدی
،
امین فرحبخش طولی
Year 1390
Publish place:
The first conference on new approaches in computer engineering and information technology
Pages:
6
| Language: Persian
View And Download
Conference Paper
به سوی توسعه یک مدلسازی صوری از تمامی جنبه های اصلی سیستمهایهمروند
Authors:
حسن حقیقی
،
سیده سارا شریفی راد
Year 1390
Publish place:
The first conference on new approaches in computer engineering and information technology
Pages:
6
| Language: Persian
View And Download
Conference Paper
طراحی یک راستی آزمای جدید برای یک نرم افزار حساس به ایمنی : رویکردی ترکیبی از روش های رسمی
Authors:
سیدجواد میرعابدینی
،
آروند ربیعی
،
مصطفی امینی
،
امیر اسماعیلی
Year 1387
Publish place:
The Second National Conference on Computer Electrical Engineering and Information Technology
Pages:
8
| Language: Persian
View And Download
نتایج 1 تا 10 از مجموع 12
1
2